BitSim: An Algebraic Similarity Measure for Description Logics Concepts

In this paper, we propose an algebraic similarity measure σBS (BS stands for BitSim) for assigning semantic similarity score to concept definitions in ALCH+ an expressive fragment of Description Logics (DL). We define an algebraic interpretation function, IB, that maps a concept-definition to a unique string (ωB) (called bit-code) over an alphabet ∑ B of 11 symbols belonging to LB the language over ∑ B. IB has semantic correspondence with conventional model-theoretic interpretation of DL. We then define σBS onLB. A detailed analysis of IB and σBS has been given.